Robotics is a key technology in the modern world. Robots are a well-established part of manufacturing and warehouse automation, assembling cars or washing machines, and, for example, moving goods to and from storage racks for Internet mail order. More recently robots have taken their first steps int[...]